finite Galois extension

有限伽罗瓦扩张